Teaching Formal Methods for the Unconquered Territory
نویسندگان
چکیده
We summarise our experiences in teaching two formal methods courses at Pontificia Universidad Javeriana. The first course is a JML-based software engineering course. The second course is a modeldriven software engineering course realised in the B method for software development. We explain how formal methods are promoted in Pontificia Universidad Javeriana, how we motivate students to embrace formal methods techniques, and how they are promoted through the presentation of motivating examples.
منابع مشابه
A survey on teaching style of academic members in Rafsanjan University of medical sciences
Introduction: Teaching styles and learning are behaviors that teachers and students show in learning process. Identifying teaching styles and personal charactristics of the academic members can be useful for their instructional patterns and students achivement. So, this study was designed to determine the teaching styles of academic members of Rafsanjan University of Medical Sciences (HUM...
متن کاملTeachers' Attitudes towards Teaching in Formal vs. Informal ELT Contexts
Up to now, many studies have been done to show the origin of attitudes and their relationships with behaviors or actions. Some of those works have focused on students' attitudes and some have introduced the various contexts of language teaching and learning. These studies were enough to give a new impetus for conducting the present investigation. This paper investigated the teachers' attitudes ...
متن کاملHow Does Explicit and Implicit Instruction of Formal Meta-discourse Markers Affect Learners’ Oral Proficiency?
Meta-discourse markers are an inevitable part of oral proficiency which improve both the quality and comprehension of learners’ speech. While studies of oral meta-discourse have been conducted since the 1980s in a European or US context, they have remained relatively untouched in Iran. Therefore, this study aimed to seek the impact of both explicit and implicit teaching of formal meta-discourse...
متن کاملInvestigating The Effect of Teaching “Philosophy of Formal and Public Education” in Farhangian University within the scaffolding of Leadership and Management Education Model on Students’ Learning and Academic Achievement
The study performed to investigate the effect of teaching the course of Formal and Public Education Philosophy (FPEP) within the scaffolding of Leadership and Management Education Model (LMEM) on university students’ learning and academic achievement at Farhangian University (UT) using quasi-experimental method with two-groups pre-test and post-test design with control group. The statistical po...
متن کاملInvestigating The Effect of Teaching “Philosophy of Formal and Public Education” in Farhangian University within the scaffolding of Leadership and Management Education Model on Students’ Learning and Academic Achievement
The study performed to investigate the effect of teaching the course of Formal and Public Education Philosophy (FPEP) within the scaffolding of Leadership and Management Education Model (LMEM) on university students’ learning and academic achievement at Farhangian University (UT) using quasi-experimental method with two-groups pre-test and post-test design with control group. The statistical po...
متن کامل